<html>
	<head>
		<meta http-equiv="Content-type" content="text/html; charset=utf-8" />
		<title>Recently Closed Tabs - Extension Options</title>
		<link href="css/options.css" rel="stylesheet" type="text/css" />
		<script type="text/javascript" src="js/3dparty/jquery.js"></script>
		<script type="text/javascript" src="js/3dparty/jquery.selectboxes.pack.js"></script>
		<script language="JavaScript" src="js/options.js"></script>
		<script language="JavaScript" src="js/gui.js"></script>
	</head>
	<body onload="main();">
		<div id="pageDiv" style="position:relative; margin: 5px;">
			<div id="headerTableDiv"></div>
			<div id="headerBorderDiv"></div>
			<div id="contentDiv">
				<div id="rootDiv"></div>
				<div id="optionsFilters">
					<div id="optionsSelect"></div>
					<div id="filterListDivElement"></div>
				</div>
			</div>
			<div id="footerDiv"></div>
		</div>
   <script>
     var _gaq = _gaq || [];
     _gaq.push(['_setAccount', 'UA-3928511-2']);
     _gaq.push(['_trackPageview']);

     (function() {
       var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
       ga.src = 'https://ssl.google-analytics.com/ga.js';
       (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(ga);
     })();
   </script>
	</body>
</html>